Desingularization of Ore Operators
نویسندگان
چکیده
We show that Ore operators can be desingularized by calculating a least common left multiple with a random operator of appropriate order. Our result generalizes a classical result about apparent singularities of linear differential equations, and it gives rise to a surprisingly simple desingularization algorithm.
منابع مشابه
Removable Singularities of Ore Operators
Ore algebras are an algebraic structure used to model many different kinds of functional equations like differential and recurrence equations. The elements of an Ore algebra are polynomials for which the multiplication is defined to be usually non-commutative. As a consequence, Gauß’ lemma does not hold in many Ore polynomial rings and hence the product of two primitive Ore polynomials is not n...
متن کاملOre Polynomials in Sage
We present a Sage implementation of Ore algebras. The main features for the most common instances include basic arithmetic and actions; gcrd and lclm; D-finite closure properties; natural transformations between related algebras; guessing; desingularization; solvers for polynomials, rational functions and (generalized) power series. This paper is a tutorial on how to use the package.
متن کاملUnivariate Contraction and Multivariate Desingularization of Ore Ideals
Linear ordinary differential (difference) operators with polynomial coefficients form a common algebraic abstraction for representing D-finite functions (P-recursive sequences). They form the Ore ring K(x)[∂], where K is the constant field. Suppose K is the quotient field of some principal ideal domain R. The ring R[x][∂] consists of elements in K(x)[∂] without “denominator”. Given L ∈ K(x)[∂],...
متن کاملDesingularization in the q-Weyl algebra
In this paper, we study the desingularization problem in the first qWeyl algebra. We give an order bound for desingularized operators, and thus derive an algorithm for computing desingularized operators in the first q-Weyl algebra. Moreover, an algorithm is presented for computing a generating set of the first q-Weyl closure of a given q-difference operator. As an application, we certify that s...
متن کاملHyperexponential Solutions of Finite-rank Ideals in Orthogonal Ore Algebras (the General Case)
An orthogonal Ore algebra is an abstraction of common properties of linear partial differential, shift and q-shift operators. Using orthogonal Ore algebras, we present an algorithm for finding hyperexponential solutions of a system of linear differential, shift and q-shift operators, or any mixture thereof, whose solution space is finite-dimensional. The algorithm is applicable to factoring mod...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Comput.
دوره 74 شماره
صفحات -
تاریخ انتشار 2016